graph [

   comment "PEP"

   comment "PetriBox"

   comment "FORMAT_N"

   comment "PL"

   directed 1

   node [

      id 1

      label "P1"

      attribute "junk 50@50M1"

   ]

   node [

      id 2

      label "P2"

      attribute "junk 50@50M1"

   ]

   node [

      id 3

      label "P3"

      attribute "junk 50@50M1"

   ]

   node [

      id 4

      label "P4"

      attribute "junk 50@50M1"

   ]

   node [

      id 5

      label "P5"

      attribute "junk 50@50"

   ]

   node [

      id 6

      label "P6"

      attribute "junk 50@50"

   ]

   node [

      id 7

      label "P7"

      attribute "junk 50@50"

   ]

   node [

      id 8

      label "P8"

      attribute "junk 50@50"

   ]

   node [

      id 9

      label "P9"

      attribute "junk 50@50"

   ]

   node [

      id 10

      label "P10"

      attribute "junk 50@50"

   ]

   node [

      id 11

      label "P11"

      attribute "junk 50@50"

   ]

   node [

      id 12

      label "P12"

      attribute "junk 50@50"

   ]

   node [

      id 13

      label "P13"

      attribute "junk 50@50"

   ]

   node [

      id 14

      label "P14"

      attribute "junk 50@50"

   ]

   node [

      id 15

      label "P15"

      attribute "junk 50@50"

   ]

   node [

      id 16

      label "P16"

      attribute "junk 50@50"

   ]

   node [

      id 17

      label "P17"

      attribute "junk 50@50"

   ]

   node [

      id 18

      label "P18"

      attribute "junk 50@50"

   ]

   node [

      id 19

      label "P19"

      attribute "junk 50@50"

   ]

   node [

      id 20

      label "P20"

      attribute "junk 50@50"

   ]

   node [

      id 21

      label "P21"

      attribute "junk 50@50"

   ]

   node [

      id 22

      label "P22"

      attribute "junk 50@50"

   ]

   node [

      id 23

      label "P23"

      attribute "junk 50@50"

   ]

   node [

      id 24

      label "P24"

      attribute "junk 50@50"

   ]

   node [

      id 25

      label "P25"

      attribute "junk 50@50"

   ]

   node [

      id 26

      label "P26"

      attribute "junk 50@50"

   ]

   node [

      id 27

      label "P27"

      attribute "junk 50@50"

   ]

   node [

      id 28

      label "P28"

      attribute "junk 50@50"

   ]

   node [

      id 29

      label "P29"

      attribute "junk 50@50"

   ]

   node [

      id 30

      label "P30"

      attribute "junk 50@50"

   ]

   node [

      id 31

      label "P31"

      attribute "junk 50@50"

   ]

   node [

      id 32

      label "P32"

      attribute "junk 50@50"

   ]

   node [

      id 33

      label "P33"

      attribute "junk 50@50"

   ]

   node [

      id 34

      label "P34"

      attribute "junk 50@50"

   ]

   node [

      id 35

      label "P35"

      attribute "junk 50@50"

   ]

   node [

      id 36

      label "P36"

      attribute "junk 50@50"

   ]

   node [

      id 37

      label "P37"

      attribute "junk 50@50"

   ]

   node [

      id 38

      label "P38"

      attribute "junk 50@50"

   ]

   node [

      id 39

      label "P39"

      attribute "junk 50@50"

   ]

   node [

      id 40

      label "P40"

      attribute "junk 50@50"

   ]

   node [

      id 41

      label "P41"

      attribute "junk 50@50"

   ]

   node [

      id 42

      label "P42"

      attribute "junk 50@50"

   ]

   node [

      id 43

      label "P43"

      attribute "junk 50@50"

   ]

   node [

      id 44

      label "P44"

      attribute "junk 50@50"

   ]

   node [

      id 45

      label "P45"

      attribute "junk 50@50"

   ]

   node [

      id 46

      label "P46"

      attribute "junk 50@50"

   ]

   node [

      id 47

      label "P47"

      attribute "junk 50@50"

   ]

   node [

      id 48

      label "P48"

      attribute "junk 50@50"

   ]

   node [

      id 49

      label "P49"

      attribute "junk 50@50"

   ]

   node [

      id 50

      label "P50"

      attribute "junk 50@50"

   ]

   node [

      id 51

      label "P51"

      attribute "junk 50@50"

   ]

   node [

      id 52

      label "P52"

      attribute "junk 50@50"

   ]

   node [

      id 53

      label "P53"

      attribute "junk 50@50"

   ]

   node [

      id 54

      label "P54"

      attribute "junk 50@50"

   ]

   node [

      id 55

      label "P55"

      attribute "junk 50@50"

   ]

   node [

      id 56

      label "P56"

      attribute "junk 50@50"

   ]

   node [

      id 57

      label "P57"

      attribute "junk 50@50M1"

   ]

   node [

      id 58

      label "P58"

      attribute "junk 50@50M1"

   ]

   node [

      id 59

      label "P59"

      attribute "junk 50@50M1"

   ]

   node [

      id 60

      label "P60"

      attribute "junk 50@50"

   ]

   node [

      id 61

      label "P61"

      attribute "junk 50@50"

   ]

   node [

      id 62

      label "P62"

      attribute "junk 50@50"

   ]

   node [

      id 63

      label "P63"

      attribute "junk 50@50"

   ]

   node [

      id 64

      label "P64"

      attribute "junk 50@50"

   ]

   node [

      id 65

      label "P65"

      attribute "junk 50@50"

   ]

   node [

      id 66

      label "P66"

      attribute "junk 50@50"

   ]

   node [

      id 67

      label "P67"

      attribute "junk 50@50"

   ]

   node [

      id 68

      label "P68"

      attribute "junk 50@50"

   ]

   node [

      id 69

      label "P69"

      attribute "junk 50@50"

   ]

   node [

      id 70

      label "P70"

      attribute "junk 50@50"

   ]

   node [

      id 71

      label "P71"

      attribute "junk 50@50"

   ]

   node [

      id 72

      label "P72"

      attribute "junk 50@50"

   ]

   node [

      id 73

      label "P73"

      attribute "junk 50@50M1"

   ]

   node [

      id 74

      label "P74"

      attribute "junk 50@50M1"

   ]

   node [

      id 75

      label "P75"

      attribute "junk 50@50M1"

   ]

   node [

      id 76

      label "P76"

      attribute "junk 50@50M1"

   ]

   node [

      id 77

      label "P77"

      attribute "junk 50@50M1"

   ]

   node [

      id 78

      label "P78"

      attribute "junk 50@50M1"

   ]

   node [

      id 79

      label "P79"

      attribute "junk 50@50M1"

   ]

   node [

      id 80

      label "P80"

      attribute "junk 50@50M1"

   ]

   node [

      id 81

      label "P81"

      attribute "junk 50@50M1"

   ]

   node [

      id 82

      label "P82"

      attribute "junk 50@50M1"

   ]

   node [

      id 83

      label "P83"

      attribute "junk 50@50M1"

   ]

   node [

      id 84

      label "P84"

      attribute "junk 50@50M1"

   ]

   comment "TR"

   node [

      id 85

      label "T1"

      attribute "junk 50@50"

   ]

   node [

      id 86

      label "T2"

      attribute "junk 50@50"

   ]

   node [

      id 87

      label "T3"

      attribute "junk 50@50"

   ]

   node [

      id 88

      label "T4"

      attribute "junk 50@50"

   ]

   node [

      id 89

      label "T5"

      attribute "junk 50@50"

   ]

   node [

      id 90

      label "T6"

      attribute "junk 50@50"

   ]

   node [

      id 91

      label "T7"

      attribute "junk 50@50"

   ]

   node [

      id 92

      label "T8"

      attribute "junk 50@50"

   ]

   node [

      id 93

      label "T9"

      attribute "junk 50@50"

   ]

   node [

      id 94

      label "T10"

      attribute "junk 50@50"

   ]

   node [

      id 95

      label "T11"

      attribute "junk 50@50"

   ]

   node [

      id 96

      label "T12"

      attribute "junk 50@50"

   ]

   node [

      id 97

      label "T13"

      attribute "junk 50@50"

   ]

   node [

      id 98

      label "T14"

      attribute "junk 50@50"

   ]

   node [

      id 99

      label "T15"

      attribute "junk 50@50"

   ]

   node [

      id 100

      label "T16"

      attribute "junk 50@50"

   ]

   node [

      id 101

      label "T17"

      attribute "junk 50@50"

   ]

   node [

      id 102

      label "T18"

      attribute "junk 50@50"

   ]

   node [

      id 103

      label "T19"

      attribute "junk 50@50"

   ]

   node [

      id 104

      label "T20"

      attribute "junk 50@50"

   ]

   node [

      id 105

      label "T21"

      attribute "junk 50@50"

   ]

   node [

      id 106

      label "T22"

      attribute "junk 50@50"

   ]

   node [

      id 107

      label "T23"

      attribute "junk 50@50"

   ]

   node [

      id 108

      label "T24"

      attribute "junk 50@50"

   ]

   node [

      id 109

      label "T25"

      attribute "junk 50@50"

   ]

   node [

      id 110

      label "T26"

      attribute "junk 50@50"

   ]

   node [

      id 111

      label "T27"

      attribute "junk 50@50"

   ]

   node [

      id 112

      label "T28"

      attribute "junk 50@50"

   ]

   node [

      id 113

      label "T29"

      attribute "junk 50@50"

   ]

   node [

      id 114

      label "T30"

      attribute "junk 50@50"

   ]

   node [

      id 115

      label "T31"

      attribute "junk 50@50"

   ]

   node [

      id 116

      label "T32"

      attribute "junk 50@50"

   ]

   node [

      id 117

      label "T33"

      attribute "junk 50@50"

   ]

   node [

      id 118

      label "T34"

      attribute "junk 50@50"

   ]

   node [

      id 119

      label "T35"

      attribute "junk 50@50"

   ]

   node [

      id 120

      label "T36"

      attribute "junk 50@50"

   ]

   node [

      id 121

      label "T37"

      attribute "junk 50@50"

   ]

   node [

      id 122

      label "T38"

      attribute "junk 50@50"

   ]

   node [

      id 123

      label "T39"

      attribute "junk 50@50"

   ]

   node [

      id 124

      label "T40"

      attribute "junk 50@50"

   ]

   node [

      id 125

      label "T41"

      attribute "junk 50@50"

   ]

   node [

      id 126

      label "T42"

      attribute "junk 50@50"

   ]

   node [

      id 127

      label "T43"

      attribute "junk 50@50"

   ]

   node [

      id 128

      label "T44"

      attribute "junk 50@50"

   ]

   node [

      id 129

      label "T45"

      attribute "junk 50@50"

   ]

   node [

      id 130

      label "T46"

      attribute "junk 50@50"

   ]

   node [

      id 131

      label "T47"

      attribute "junk 50@50"

   ]

   node [

      id 132

      label "T48"

      attribute "junk 50@50"

   ]

   node [

      id 133

      label "T49"

      attribute "junk 50@50"

   ]

   node [

      id 134

      label "T50"

      attribute "junk 50@50"

   ]

   node [

      id 135

      label "T51"

      attribute "junk 50@50"

   ]

   node [

      id 136

      label "T52"

      attribute "junk 50@50"

   ]

   node [

      id 137

      label "T53"

      attribute "junk 50@50"

   ]

   node [

      id 138

      label "T54"

      attribute "junk 50@50"

   ]

   node [

      id 139

      label "T55"

      attribute "junk 50@50"

   ]

   node [

      id 140

      label "T56"

      attribute "junk 50@50"

   ]

   node [

      id 141

      label "T57"

      attribute "junk 50@50"

   ]

   node [

      id 142

      label "T58"

      attribute "junk 50@50"

   ]

   node [

      id 143

      label "T59"

      attribute "junk 50@50"

   ]

   node [

      id 144

      label "T60"

      attribute "junk 50@50"

   ]

   node [

      id 145

      label "T61"

      attribute "junk 50@50"

   ]

   node [

      id 146

      label "T62"

      attribute "junk 50@50"

   ]

   node [

      id 147

      label "T63"

      attribute "junk 50@50"

   ]

   node [

      id 148

      label "T64"

      attribute "junk 50@50"

   ]

   node [

      id 149

      label "T65"

      attribute "junk 50@50"

   ]

   node [

      id 150

      label "T66"

      attribute "junk 50@50"

   ]

   node [

      id 151

      label "T67"

      attribute "junk 50@50"

   ]

   node [

      id 152

      label "T68"

      attribute "junk 50@50"

   ]

   node [

      id 153

      label "T69"

      attribute "junk 50@50"

   ]

   node [

      id 154

      label "T70"

      attribute "junk 50@50"

   ]

   node [

      id 155

      label "T71"

      attribute "junk 50@50"

   ]

   node [

      id 156

      label "T72"

      attribute "junk 50@50"

   ]

   node [

      id 157

      label "T73"

      attribute "junk 50@50"

   ]

   node [

      id 158

      label "T74"

      attribute "junk 50@50"

   ]

   node [

      id 159

      label "T75"

      attribute "junk 50@50"

   ]

   node [

      id 160

      label "T76"

      attribute "junk 50@50"

   ]

   node [

      id 161

      label "T77"

      attribute "junk 50@50"

   ]

   node [

      id 162

      label "T78"

      attribute "junk 50@50"

   ]

   node [

      id 163

      label "T79"

      attribute "junk 50@50"

   ]

   node [

      id 164

      label "T80"

      attribute "junk 50@50"

   ]

   node [

      id 165

      label "T81"

      attribute "junk 50@50"

   ]

   node [

      id 166

      label "T82"

      attribute "junk 50@50"

   ]

   node [

      id 167

      label "T83"

      attribute "junk 50@50"

   ]

   node [

      id 168

      label "T84"

      attribute "junk 50@50"

   ]

   node [

      id 169

      label "T85"

      attribute "junk 50@50"

   ]

   node [

      id 170

      label "T86"

      attribute "junk 50@50"

   ]

   node [

      id 171

      label "T87"

      attribute "junk 50@50"

   ]

   node [

      id 172

      label "T88"

      attribute "junk 50@50"

   ]

   node [

      id 173

      label "T89"

      attribute "junk 50@50"

   ]

   node [

      id 174

      label "T90"

      attribute "junk 50@50"

   ]

   node [

      id 175

      label "T91"

      attribute "junk 50@50"

   ]

   node [

      id 176

      label "T92"

      attribute "junk 50@50"

   ]

   node [

      id 177

      label "T93"

      attribute "junk 50@50"

   ]

   node [

      id 178

      label "T94"

      attribute "junk 50@50"

   ]

   node [

      id 179

      label "T95"

      attribute "junk 50@50"

   ]

   node [

      id 180

      label "T96"

      attribute "junk 50@50"

   ]

   node [

      id 181

      label "T97"

      attribute "junk 50@50"

   ]

   node [

      id 182

      label "T98"

      attribute "junk 50@50"

   ]

   node [

      id 183

      label "T99"

      attribute "junk 50@50"

   ]

   node [

      id 184

      label "T100"

      attribute "junk 50@50"

   ]

   node [

      id 185

      label "T101"

      attribute "junk 50@50"

   ]

   node [

      id 186

      label "T102"

      attribute "junk 50@50"

   ]

   node [

      id 187

      label "T103"

      attribute "junk 50@50"

   ]

   node [

      id 188

      label "T104"

      attribute "junk 50@50"

   ]

   node [

      id 189

      label "T105"

      attribute "junk 50@50"

   ]

   node [

      id 190

      label "T106"

      attribute "junk 50@50"

   ]

   node [

      id 191

      label "T107"

      attribute "junk 50@50"

   ]

   node [

      id 192

      label "T108"

      attribute "junk 50@50"

   ]

   node [

      id 193

      label "T109"

      attribute "junk 50@50"

   ]

   node [

      id 194

      label "T110"

      attribute "junk 50@50"

   ]

   node [

      id 195

      label "T111"

      attribute "junk 50@50"

   ]

   node [

      id 196

      label "T112"

      attribute "junk 50@50"

   ]

   node [

      id 197

      label "T113"

      attribute "junk 50@50"

   ]

   node [

      id 198

      label "T114"

      attribute "junk 50@50"

   ]

   node [

      id 199

      label "T115"

      attribute "junk 50@50"

   ]

   node [

      id 200

      label "T116"

      attribute "junk 50@50"

   ]

   node [

      id 201

      label "T117"

      attribute "junk 50@50"

   ]

   node [

      id 202

      label "T118"

      attribute "junk 50@50"

   ]

   node [

      id 203

      label "T119"

      attribute "junk 50@50"

   ]

   node [

      id 204

      label "T120"

      attribute "junk 50@50"

   ]

   node [

      id 205

      label "T121"

      attribute "junk 50@50"

   ]

   node [

      id 206

      label "T122"

      attribute "junk 50@50"

   ]

   node [

      id 207

      label "T123"

      attribute "junk 50@50"

   ]

   node [

      id 208

      label "T124"

      attribute "junk 50@50"

   ]

   node [

      id 209

      label "T125"

      attribute "junk 50@50"

   ]

   node [

      id 210

      label "T126"

      attribute "junk 50@50"

   ]

   node [

      id 211

      label "T127"

      attribute "junk 50@50"

   ]

   node [

      id 212

      label "T128"

      attribute "junk 50@50"

   ]

   node [

      id 213

      label "T129"

      attribute "junk 50@50"

   ]

   node [

      id 214

      label "T130"

      attribute "junk 50@50"

   ]

   node [

      id 215

      label "T131"

      attribute "junk 50@50"

   ]

   node [

      id 216

      label "T132"

      attribute "junk 50@50"

   ]

   comment "TP"

   edge [

      source 85

      target 5

   ]

   edge [

      source 86

      target 8

   ]

   edge [

      source 87

      target 11

   ]

   edge [

      source 88

      target 14

   ]

   edge [

      source 89

      target 17

   ]

   edge [

      source 90

      target 18

   ]

   edge [

      source 91

      target 19

   ]

   edge [

      source 92

      target 20

   ]

   edge [

      source 93

      target 21

   ]

   edge [

      source 94

      target 22

   ]

   edge [

      source 95

      target 23

   ]

   edge [

      source 96

      target 24

   ]

   edge [

      source 97

      target 25

   ]

   edge [

      source 98

      target 26

   ]

   edge [

      source 99

      target 27

   ]

   edge [

      source 100

      target 28

   ]

   edge [

      source 101

      target 29

   ]

   edge [

      source 101

      target 57

   ]

   edge [

      source 102

      target 30

   ]

   edge [

      source 102

      target 58

   ]

   edge [

      source 103

      target 31

   ]

   edge [

      source 103

      target 59

   ]

   edge [

      source 104

      target 29

   ]

   edge [

      source 104

      target 57

   ]

   edge [

      source 105

      target 30

   ]

   edge [

      source 105

      target 58

   ]

   edge [

      source 106

      target 31

   ]

   edge [

      source 106

      target 59

   ]

   edge [

      source 107

      target 29

   ]

   edge [

      source 107

      target 57

   ]

   edge [

      source 108

      target 30

   ]

   edge [

      source 108

      target 58

   ]

   edge [

      source 109

      target 31

   ]

   edge [

      source 109

      target 59

   ]

   edge [

      source 110

      target 29

   ]

   edge [

      source 110

      target 57

   ]

   edge [

      source 111

      target 30

   ]

   edge [

      source 111

      target 58

   ]

   edge [

      source 112

      target 31

   ]

   edge [

      source 112

      target 59

   ]

   edge [

      source 113

      target 32

   ]

   edge [

      source 113

      target 60

   ]

   edge [

      source 114

      target 33

   ]

   edge [

      source 114

      target 61

   ]

   edge [

      source 115

      target 34

   ]

   edge [

      source 115

      target 62

   ]

   edge [

      source 116

      target 32

   ]

   edge [

      source 116

      target 60

   ]

   edge [

      source 117

      target 33

   ]

   edge [

      source 117

      target 61

   ]

   edge [

      source 118

      target 34

   ]

   edge [

      source 118

      target 62

   ]

   edge [

      source 119

      target 32

   ]

   edge [

      source 119

      target 60

   ]

   edge [

      source 120

      target 33

   ]

   edge [

      source 120

      target 61

   ]

   edge [

      source 121

      target 34

   ]

   edge [

      source 121

      target 62

   ]

   edge [

      source 122

      target 32

   ]

   edge [

      source 122

      target 60

   ]

   edge [

      source 123

      target 33

   ]

   edge [

      source 123

      target 61

   ]

   edge [

      source 124

      target 34

   ]

   edge [

      source 124

      target 62

   ]

   edge [

      source 125

      target 35

   ]

   edge [

      source 125

      target 63

   ]

   edge [

      source 126

      target 36

   ]

   edge [

      source 126

      target 64

   ]

   edge [

      source 127

      target 37

   ]

   edge [

      source 127

      target 65

   ]

   edge [

      source 128

      target 35

   ]

   edge [

      source 128

      target 63

   ]

   edge [

      source 129

      target 36

   ]

   edge [

      source 129

      target 64

   ]

   edge [

      source 130

      target 37

   ]

   edge [

      source 130

      target 65

   ]

   edge [

      source 131

      target 35

   ]

   edge [

      source 131

      target 63

   ]

   edge [

      source 132

      target 36

   ]

   edge [

      source 132

      target 64

   ]

   edge [

      source 133

      target 37

   ]

   edge [

      source 133

      target 65

   ]

   edge [

      source 134

      target 35

   ]

   edge [

      source 134

      target 63

   ]

   edge [

      source 135

      target 36

   ]

   edge [

      source 135

      target 64

   ]

   edge [

      source 136

      target 37

   ]

   edge [

      source 136

      target 65

   ]

   edge [

      source 137

      target 38

   ]

   edge [

      source 137

      target 66

   ]

   edge [

      source 138

      target 39

   ]

   edge [

      source 138

      target 67

   ]

   edge [

      source 139

      target 40

   ]

   edge [

      source 139

      target 68

   ]

   edge [

      source 140

      target 38

   ]

   edge [

      source 140

      target 66

   ]

   edge [

      source 141

      target 39

   ]

   edge [

      source 141

      target 67

   ]

   edge [

      source 142

      target 40

   ]

   edge [

      source 142

      target 68

   ]

   edge [

      source 143

      target 38

   ]

   edge [

      source 143

      target 66

   ]

   edge [

      source 144

      target 39

   ]

   edge [

      source 144

      target 67

   ]

   edge [

      source 145

      target 40

   ]

   edge [

      source 145

      target 68

   ]

   edge [

      source 146

      target 38

   ]

   edge [

      source 146

      target 66

   ]

   edge [

      source 147

      target 39

   ]

   edge [

      source 147

      target 67

   ]

   edge [

      source 148

      target 40

   ]

   edge [

      source 148

      target 68

   ]

   edge [

      source 149

      target 41

   ]

   edge [

      source 149

      target 60

   ]

   edge [

      source 150

      target 42

   ]

   edge [

      source 150

      target 61

   ]

   edge [

      source 151

      target 43

   ]

   edge [

      source 151

      target 62

   ]

   edge [

      source 152

      target 41

   ]

   edge [

      source 152

      target 63

   ]

   edge [

      source 153

      target 42

   ]

   edge [

      source 153

      target 64

   ]

   edge [

      source 154

      target 43

   ]

   edge [

      source 154

      target 65

   ]

   edge [

      source 155

      target 41

   ]

   edge [

      source 155

      target 66

   ]

   edge [

      source 156

      target 42

   ]

   edge [

      source 156

      target 67

   ]

   edge [

      source 157

      target 43

   ]

   edge [

      source 157

      target 68

   ]

   edge [

      source 158

      target 44

   ]

   edge [

      source 158

      target 57

   ]

   edge [

      source 159

      target 45

   ]

   edge [

      source 159

      target 58

   ]

   edge [

      source 160

      target 46

   ]

   edge [

      source 160

      target 59

   ]

   edge [

      source 161

      target 44

   ]

   edge [

      source 161

      target 63

   ]

   edge [

      source 162

      target 45

   ]

   edge [

      source 162

      target 64

   ]

   edge [

      source 163

      target 46

   ]

   edge [

      source 163

      target 65

   ]

   edge [

      source 164

      target 44

   ]

   edge [

      source 164

      target 66

   ]

   edge [

      source 165

      target 45

   ]

   edge [

      source 165

      target 67

   ]

   edge [

      source 166

      target 46

   ]

   edge [

      source 166

      target 68

   ]

   edge [

      source 167

      target 47

   ]

   edge [

      source 167

      target 57

   ]

   edge [

      source 168

      target 48

   ]

   edge [

      source 168

      target 58

   ]

   edge [

      source 169

      target 49

   ]

   edge [

      source 169

      target 59

   ]

   edge [

      source 170

      target 47

   ]

   edge [

      source 170

      target 60

   ]

   edge [

      source 171

      target 48

   ]

   edge [

      source 171

      target 61

   ]

   edge [

      source 172

      target 49

   ]

   edge [

      source 172

      target 62

   ]

   edge [

      source 173

      target 47

   ]

   edge [

      source 173

      target 66

   ]

   edge [

      source 174

      target 48

   ]

   edge [

      source 174

      target 67

   ]

   edge [

      source 175

      target 49

   ]

   edge [

      source 175

      target 68

   ]

   edge [

      source 176

      target 50

   ]

   edge [

      source 176

      target 57

   ]

   edge [

      source 177

      target 51

   ]

   edge [

      source 177

      target 58

   ]

   edge [

      source 178

      target 52

   ]

   edge [

      source 178

      target 59

   ]

   edge [

      source 179

      target 50

   ]

   edge [

      source 179

      target 60

   ]

   edge [

      source 180

      target 51

   ]

   edge [

      source 180

      target 61

   ]

   edge [

      source 181

      target 52

   ]

   edge [

      source 181

      target 62

   ]

   edge [

      source 182

      target 50

   ]

   edge [

      source 182

      target 63

   ]

   edge [

      source 183

      target 51

   ]

   edge [

      source 183

      target 64

   ]

   edge [

      source 184

      target 52

   ]

   edge [

      source 184

      target 65

   ]

   edge [

      source 185

      target 41

   ]

   edge [

      source 185

      target 76

   ]

   edge [

      source 185

      target 79

   ]

   edge [

      source 185

      target 82

   ]

   edge [

      source 186

      target 42

   ]

   edge [

      source 186

      target 77

   ]

   edge [

      source 186

      target 80

   ]

   edge [

      source 186

      target 83

   ]

   edge [

      source 187

      target 43

   ]

   edge [

      source 187

      target 78

   ]

   edge [

      source 187

      target 81

   ]

   edge [

      source 187

      target 84

   ]

   edge [

      source 188

      target 44

   ]

   edge [

      source 188

      target 73

   ]

   edge [

      source 188

      target 79

   ]

   edge [

      source 188

      target 82

   ]

   edge [

      source 189

      target 45

   ]

   edge [

      source 189

      target 74

   ]

   edge [

      source 189

      target 80

   ]

   edge [

      source 189

      target 83

   ]

   edge [

      source 190

      target 46

   ]

   edge [

      source 190

      target 75

   ]

   edge [

      source 190

      target 81

   ]

   edge [

      source 190

      target 84

   ]

   edge [

      source 191

      target 47

   ]

   edge [

      source 191

      target 73

   ]

   edge [

      source 191

      target 76

   ]

   edge [

      source 191

      target 82

   ]

   edge [

      source 192

      target 48

   ]

   edge [

      source 192

      target 74

   ]

   edge [

      source 192

      target 77

   ]

   edge [

      source 192

      target 83

   ]

   edge [

      source 193

      target 49

   ]

   edge [

      source 193

      target 75

   ]

   edge [

      source 193

      target 78

   ]

   edge [

      source 193

      target 84

   ]

   edge [

      source 194

      target 50

   ]

   edge [

      source 194

      target 73

   ]

   edge [

      source 194

      target 76

   ]

   edge [

      source 194

      target 79

   ]

   edge [

      source 195

      target 51

   ]

   edge [

      source 195

      target 74

   ]

   edge [

      source 195

      target 77

   ]

   edge [

      source 195

      target 80

   ]

   edge [

      source 196

      target 52

   ]

   edge [

      source 196

      target 75

   ]

   edge [

      source 196

      target 78

   ]

   edge [

      source 196

      target 81

   ]

   edge [

      source 197

      target 6

   ]

   edge [

      source 198

      target 7

   ]

   edge [

      source 199

      target 9

   ]

   edge [

      source 200

      target 10

   ]

   edge [

      source 201

      target 12

   ]

   edge [

      source 202

      target 13

   ]

   edge [

      source 203

      target 15

   ]

   edge [

      source 204

      target 16

   ]

   edge [

      source 205

      target 69

   ]

   edge [

      source 206

      target 70

   ]

   edge [

      source 207

      target 71

   ]

   edge [

      source 208

      target 72

   ]

   edge [

      source 209

      target 53

   ]

   edge [

      source 210

      target 54

   ]

   edge [

      source 211

      target 55

   ]

   edge [

      source 212

      target 56

   ]

   edge [

      source 213

      target 1

   ]

   edge [

      source 213

      target 73

   ]

   edge [

      source 213

      target 74

   ]

   edge [

      source 213

      target 75

   ]

   edge [

      source 214

      target 2

   ]

   edge [

      source 214

      target 76

   ]

   edge [

      source 214

      target 77

   ]

   edge [

      source 214

      target 78

   ]

   edge [

      source 215

      target 3

   ]

   edge [

      source 215

      target 79

   ]

   edge [

      source 215

      target 80

   ]

   edge [

      source 215

      target 81

   ]

   edge [

      source 216

      target 4

   ]

   edge [

      source 216

      target 82

   ]

   edge [

      source 216

      target 83

   ]

   edge [

      source 216

      target 84

   ]

   comment "PT"

   edge [

      source 1

      target 85

   ]

   edge [

      source 2

      target 86

   ]

   edge [

      source 3

      target 87

   ]

   edge [

      source 4

      target 88

   ]

   edge [

      source 5

      target 89

   ]

   edge [

      source 6

      target 90

   ]

   edge [

      source 7

      target 91

   ]

   edge [

      source 9

      target 93

   ]

   edge [

      source 10

      target 94

   ]

   edge [

      source 11

      target 95

   ]

   edge [

      source 12

      target 96

   ]

   edge [

      source 13

      target 97

   ]

   edge [

      source 14

      target 98

   ]

   edge [

      source 15

      target 99

   ]

   edge [

      source 16

      target 100

   ]

   edge [

      source 17

      target 101

   ]

   edge [

      source 17

      target 104

   ]

   edge [

      source 17

      target 107

   ]

   edge [

      source 17

      target 110

   ]

   edge [

      source 18

      target 102

   ]

   edge [

      source 18

      target 105

   ]

   edge [

      source 18

      target 108

   ]

   edge [

      source 18

      target 111

   ]

   edge [

      source 19

      target 103

   ]

   edge [

      source 19

      target 106

   ]

   edge [

      source 19

      target 109

   ]

   edge [

      source 19

      target 112

   ]

   edge [

      source 20

      target 113

   ]

   edge [

      source 20

      target 116

   ]

   edge [

      source 20

      target 119

   ]

   edge [

      source 20

      target 122

   ]

   edge [

      source 21

      target 114

   ]

   edge [

      source 21

      target 117

   ]

   edge [

      source 21

      target 120

   ]

   edge [

      source 21

      target 123

   ]

   edge [

      source 22

      target 115

   ]

   edge [

      source 22

      target 118

   ]

   edge [

      source 22

      target 121

   ]

   edge [

      source 22

      target 124

   ]

   edge [

      source 23

      target 125

   ]

   edge [

      source 23

      target 128

   ]

   edge [

      source 23

      target 131

   ]

   edge [

      source 23

      target 134

   ]

   edge [

      source 24

      target 126

   ]

   edge [

      source 24

      target 129

   ]

   edge [

      source 24

      target 132

   ]

   edge [

      source 24

      target 135

   ]

   edge [

      source 25

      target 127

   ]

   edge [

      source 25

      target 130

   ]

   edge [

      source 25

      target 133

   ]

   edge [

      source 25

      target 136

   ]

   edge [

      source 26

      target 137

   ]

   edge [

      source 26

      target 140

   ]

   edge [

      source 26

      target 143

   ]

   edge [

      source 26

      target 146

   ]

   edge [

      source 27

      target 138

   ]

   edge [

      source 27

      target 141

   ]

   edge [

      source 27

      target 144

   ]

   edge [

      source 27

      target 147

   ]

   edge [

      source 28

      target 139

   ]

   edge [

      source 28

      target 142

   ]

   edge [

      source 28

      target 145

   ]

   edge [

      source 28

      target 148

   ]

   edge [

      source 29

      target 149

   ]

   edge [

      source 29

      target 152

   ]

   edge [

      source 29

      target 155

   ]

   edge [

      source 29

      target 185

   ]

   edge [

      source 30

      target 150

   ]

   edge [

      source 30

      target 153

   ]

   edge [

      source 30

      target 156

   ]

   edge [

      source 30

      target 186

   ]

   edge [

      source 31

      target 151

   ]

   edge [

      source 31

      target 154

   ]

   edge [

      source 31

      target 157

   ]

   edge [

      source 31

      target 187

   ]

   edge [

      source 32

      target 158

   ]

   edge [

      source 32

      target 161

   ]

   edge [

      source 32

      target 164

   ]

   edge [

      source 32

      target 188

   ]

   edge [

      source 33

      target 159

   ]

   edge [

      source 33

      target 162

   ]

   edge [

      source 33

      target 165

   ]

   edge [

      source 33

      target 189

   ]

   edge [

      source 34

      target 160

   ]

   edge [

      source 34

      target 163

   ]

   edge [

      source 34

      target 166

   ]

   edge [

      source 34

      target 190

   ]

   edge [

      source 35

      target 167

   ]

   edge [

      source 35

      target 170

   ]

   edge [

      source 35

      target 173

   ]

   edge [

      source 35

      target 191

   ]

   edge [

      source 36

      target 168

   ]

   edge [

      source 36

      target 171

   ]

   edge [

      source 36

      target 174

   ]

   edge [

      source 36

      target 192

   ]

   edge [

      source 37

      target 169

   ]

   edge [

      source 37

      target 172

   ]

   edge [

      source 37

      target 175

   ]

   edge [

      source 37

      target 193

   ]

   edge [

      source 38

      target 176

   ]

   edge [

      source 38

      target 179

   ]

   edge [

      source 38

      target 182

   ]

   edge [

      source 38

      target 194

   ]

   edge [

      source 39

      target 177

   ]

   edge [

      source 39

      target 180

   ]

   edge [

      source 39

      target 183

   ]

   edge [

      source 39

      target 195

   ]

   edge [

      source 40

      target 178

   ]

   edge [

      source 40

      target 181

   ]

   edge [

      source 40

      target 184

   ]

   edge [

      source 40

      target 196

   ]

   edge [

      source 41

      target 197

   ]

   edge [

      source 42

      target 198

   ]

   edge [

      source 43

      target 205

   ]

   edge [

      source 44

      target 199

   ]

   edge [

      source 45

      target 200

   ]

   edge [

      source 46

      target 206

   ]

   edge [

      source 47

      target 201

   ]

   edge [

      source 48

      target 202

   ]

   edge [

      source 49

      target 207

   ]

   edge [

      source 50

      target 203

   ]

   edge [

      source 51

      target 204

   ]

   edge [

      source 52

      target 208

   ]

   edge [

      source 53

      target 213

   ]

   edge [

      source 54

      target 214

   ]

   edge [

      source 55

      target 215

   ]

   edge [

      source 56

      target 216

   ]

   edge [

      source 57

      target 101

   ]

   edge [

      source 57

      target 113

   ]

   edge [

      source 57

      target 125

   ]

   edge [

      source 57

      target 137

   ]

   edge [

      source 57

      target 158

   ]

   edge [

      source 57

      target 167

   ]

   edge [

      source 57

      target 176

   ]

   edge [

      source 58

      target 102

   ]

   edge [

      source 58

      target 114

   ]

   edge [

      source 58

      target 126

   ]

   edge [

      source 58

      target 138

   ]

   edge [

      source 58

      target 159

   ]

   edge [

      source 58

      target 168

   ]

   edge [

      source 58

      target 177

   ]

   edge [

      source 59

      target 103

   ]

   edge [

      source 59

      target 115

   ]

   edge [

      source 59

      target 127

   ]

   edge [

      source 59

      target 139

   ]

   edge [

      source 59

      target 160

   ]

   edge [

      source 59

      target 169

   ]

   edge [

      source 59

      target 178

   ]

   edge [

      source 60

      target 104

   ]

   edge [

      source 60

      target 116

   ]

   edge [

      source 60

      target 128

   ]

   edge [

      source 60

      target 140

   ]

   edge [

      source 60

      target 149

   ]

   edge [

      source 60

      target 170

   ]

   edge [

      source 60

      target 179

   ]

   edge [

      source 61

      target 105

   ]

   edge [

      source 61

      target 117

   ]

   edge [

      source 61

      target 129

   ]

   edge [

      source 61

      target 141

   ]

   edge [

      source 61

      target 150

   ]

   edge [

      source 61

      target 171

   ]

   edge [

      source 61

      target 180

   ]

   edge [

      source 62

      target 106

   ]

   edge [

      source 62

      target 118

   ]

   edge [

      source 62

      target 130

   ]

   edge [

      source 62

      target 142

   ]

   edge [

      source 62

      target 151

   ]

   edge [

      source 62

      target 172

   ]

   edge [

      source 62

      target 181

   ]

   edge [

      source 63

      target 107

   ]

   edge [

      source 63

      target 119

   ]

   edge [

      source 63

      target 131

   ]

   edge [

      source 63

      target 143

   ]

   edge [

      source 63

      target 152

   ]

   edge [

      source 63

      target 161

   ]

   edge [

      source 63

      target 182

   ]

   edge [

      source 64

      target 108

   ]

   edge [

      source 64

      target 120

   ]

   edge [

      source 64

      target 132

   ]

   edge [

      source 64

      target 144

   ]

   edge [

      source 64

      target 153

   ]

   edge [

      source 64

      target 162

   ]

   edge [

      source 64

      target 183

   ]

   edge [

      source 65

      target 109

   ]

   edge [

      source 65

      target 121

   ]

   edge [

      source 65

      target 133

   ]

   edge [

      source 65

      target 145

   ]

   edge [

      source 65

      target 154

   ]

   edge [

      source 65

      target 163

   ]

   edge [

      source 65

      target 184

   ]

   edge [

      source 66

      target 110

   ]

   edge [

      source 66

      target 122

   ]

   edge [

      source 66

      target 134

   ]

   edge [

      source 66

      target 146

   ]

   edge [

      source 66

      target 155

   ]

   edge [

      source 66

      target 164

   ]

   edge [

      source 66

      target 173

   ]

   edge [

      source 67

      target 111

   ]

   edge [

      source 67

      target 123

   ]

   edge [

      source 67

      target 135

   ]

   edge [

      source 67

      target 147

   ]

   edge [

      source 67

      target 156

   ]

   edge [

      source 67

      target 165

   ]

   edge [

      source 67

      target 174

   ]

   edge [

      source 68

      target 112

   ]

   edge [

      source 68

      target 124

   ]

   edge [

      source 68

      target 136

   ]

   edge [

      source 68

      target 148

   ]

   edge [

      source 68

      target 157

   ]

   edge [

      source 68

      target 166

   ]

   edge [

      source 68

      target 175

   ]

   edge [

      source 69

      target 209

   ]

   edge [

      source 70

      target 210

   ]

   edge [

      source 71

      target 211

   ]

   edge [

      source 72

      target 212

   ]

   edge [

      source 73

      target 89

   ]

   edge [

      source 73

      target 188

   ]

   edge [

      source 73

      target 191

   ]

   edge [

      source 73

      target 194

   ]

   edge [

      source 74

      target 90

   ]

   edge [

      source 74

      target 189

   ]

   edge [

      source 74

      target 192

   ]

   edge [

      source 74

      target 195

   ]

   edge [

      source 75

      target 91

   ]

   edge [

      source 75

      target 190

   ]

   edge [

      source 75

      target 193

   ]

   edge [

      source 75

      target 196

   ]

   edge [

      source 76

      target 92

   ]

   edge [

      source 76

      target 185

   ]

   edge [

      source 76

      target 191

   ]

   edge [

      source 76

      target 194

   ]

   edge [

      source 77

      target 93

   ]

   edge [

      source 77

      target 186

   ]

   edge [

      source 77

      target 192

   ]

   edge [

      source 77

      target 195

   ]

   edge [

      source 78

      target 94

   ]

   edge [

      source 78

      target 187

   ]

   edge [

      source 78

      target 193

   ]

   edge [

      source 78

      target 196

   ]

   edge [

      source 79

      target 95

   ]

   edge [

      source 79

      target 185

   ]

   edge [

      source 79

      target 188

   ]

   edge [

      source 79

      target 194

   ]

   edge [

      source 80

      target 96

   ]

   edge [

      source 80

      target 186

   ]

   edge [

      source 80

      target 189

   ]

   edge [

      source 80

      target 195

   ]

   edge [

      source 81

      target 97

   ]

   edge [

      source 81

      target 187

   ]

   edge [

      source 81

      target 190

   ]

   edge [

      source 81

      target 196

   ]

   edge [

      source 82

      target 98

   ]

   edge [

      source 82

      target 185

   ]

   edge [

      source 82

      target 188

   ]

   edge [

      source 82

      target 191

   ]

   edge [

      source 83

      target 99

   ]

   edge [

      source 83

      target 186

   ]

   edge [

      source 83

      target 189

   ]

   edge [

      source 83

      target 192

   ]

   edge [

      source 84

      target 100

   ]

   edge [

      source 84

      target 187

   ]

   edge [

      source 84

      target 190

   ]

   edge [

      source 84

      target 193

   ]

	

   comment "# data ["

   comment "#  pair [ "

   comment "#   edge 1"

   comment "#   value 1938712409875498713405987130459871091"

   comment "#  ]"

   comment "# ]"



]

